extensions-window: Allow opening Main Menu with F10

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2653>

diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui
index ac682f044408f7ad515317e2bbc9230a593d3fbf..a39be49ae184662bfaad738e7f96b10655395405 100644 (file)
--- a/subprojects/extensions-app/data/ui/extensions-window.ui
+++ b/subprojects/extensions-app/data/ui/extensions-window.ui
@@ -25,6 +25,7 @@
                 <property name="receives-default">True</property>
                 <property name="menu-model">primary-menu</property>
                 <property name="icon-name">open-menu-symbolic</property>
+                <property name="primary">True</property>
               </object>
             </child>
             <child type="start">